Prof. Bernhard Steffen TU Dortmund BIO Bernhard Steffen graduated in Mathematicsand obtained a PhD in Computer Sciencefrom the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the

Source URL: ls5-www.cs.tu-dortmund.de

• Computing
• Software engineering
• Computer science
• Formal methods
• Theoretical computer science
• Bernhard Steffen
• Model checking
• Large-scale Complex IT Systems
• European Joint Conferences on Theory and Practice of Software
• Software development
• ACM Transactions on Programming Languages and Systems
• Draft:Tiziana Margaria

HONG KONG INSTITUTE FOR MONETARY RESEARCH COMPUTER-BASED TRADING, INSTITUTIONAL INVESTORS AND TREASURY BOND RETURNS Xiaoquan Liu, Ingrid Lo, Minh Nguyen and Giorgio Valente

Source URL: www.hkimr.org

• Economy
• Finance
• Money
• Financial markets
• Mathematical finance
• Bond
• Beta
• Algorithmic trading
• Hedge fund
• Stock market
• Market liquidity

Learning Deep Features for Discriminative Localization Bolei Zhou, Aditya Khosla, Agata Lapedriza, Aude Oliva, Antonio Torralba Computer Science and Artificial Intelligence Laboratory, MIT {bzhou,khosla,agata,oliva,torra

Source URL: cnnlocalization.csail.mit.edu

• Computer vision
• Artificial intelligence
• Computational neuroscience
• Artificial neural networks
• Convolutional neural network
• Computational statistics
• Neural networks
• AlexNet
• Conference on Computer Vision and Pattern Recognition
• ImageNet
• Object detection
• Receptive field

ARCHITECTURES FOR TRANSACTIONAL MEMORY A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY

Source URL: www.austenmcdonald.com

• Concurrency control
• Transaction processing
• Computing
• Data management
• System software
• Transactional memory
• Benchmark
• Lock
• Parallel computing
• Linearizability
• Consistency model

IEEE COPYRIGHT LICENSE FORM FOR LIMITED USE WITH IEEE COMPUTER SOCIETY’S EXPERIMENTAL “DELAYED-OPEN ACCESS” MODEL TITLE OF WORK (hereinafter, "the Work"): AUTHOR(S): IEEE PUBLICATION TITLE: 2017 IEEE Symposium on S

Source URL: www.ieee-security.org

• Intellectual property law
• Copyright law
• Data
• Copyright law of the United States
• Copyright
• Derivative work
• Institute of Electrical and Electronics Engineers
• Law
• Author
• Information
• Copyright Act of Ghana
• Authorship and ownership in copyright law in Canada

PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK

Source URL: qav.comlab.ox.ac.uk

• Model checkers
• Application software
• PRISM model checker
• Systems science
• Mathematics
• Model checking
• Uppaal Model Checker
• Probabilistic automaton
• PAT
• Hybrid system
• Markov chain

die datenschleuder. das wissenschaftliche fachblatt für datenreisende ein organ des chaos computer club Kapitulationserklärung Patentlobbying

Source URL: ds.ccc.de

Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems

Source URL: www.prismmodelchecker.org

• Mathematical analysis
• Measure theory
• Ergodic theory
• Lie algebras
• Stochastic processes

SysPal: System-guided Pattern Locks for Android Geumhwan Cho1 , Jun Ho Huh2 , Junsung Cho1 , Seongyeol Oh1 , Youngbae Song1 , Hyoungshick Kim1 1 Department of Computer Science and Engineering, Sungkyunkwan University, So

Source URL: www.ieee-security.org

• Computing
• Computer architecture
• System software
• Recall
• Android
• Pattern
• Short-term memory
• Student's t-test

Recursively Cautious Congestion Control Radhika Mittal, Justine Sherry, and Sylvia Ratnasamy, University of California, Berkeley; Scott Shenker, University of California, Berkeley and International Computer Science Insti

Source URL: www.usenix.org

• Computing
• Flow control
• Network architecture
• Network protocols
• TCP congestion control
• Data transmission
• Network performance
• Transmission Control Protocol
• Packet loss
• TCP window scale option
• CUBIC TCP
• Transport layer